xen/arm: Clean and invalidate dcache for boot pagetables
authorOleksandr Tyshchenko <oleksandr.tyshchenko@globallogic.com>
Tue, 11 Mar 2014 13:19:45 +0000 (15:19 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 14 Mar 2014 14:56:22 +0000 (14:56 +0000)
commitadf8340b3f19c3bc9959bf498ef07690e8faa50a
tree91339ac1ad2bf1ffe5b62d644c7a5b0ce10a93b9
parentbc31a1ac2ecd56e8348171de85e4d59c56d70397
xen/arm: Clean and invalidate dcache for boot pagetables

We need to invalidate dcache too after zeroing boot pagetables
to avoid unpredictable behavior which may take place after
non-boot CPUs enable their caches.

So, replace clean_xen_dcache() macro by a clean_and_invalidate_xen_dcache()
for boot pagetables.

Signed-off-by: Oleksandr Tyshchenko <oleksandr.tyshchenko@globallogic.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/mm.c